Y. Nishimura; "Agent-Knowledge Logic for Alternative Epistemic Logic"
西村 祐輝
arXivに論文を投稿しました。NCL'24に投稿したもののpreprintです。
Seligman et al. (2011) で提案された
Facebook Logic
(ref:
J. Seligman, F. Liu, P. Girard; "LOGIC in the COMMUNITY"
)は、エージェントの知識体系とエージェント間の友人関係を記述できる論理です。これを少しいじって、従来の
認識論理
を埋め込める論理を開発しました。
https://arxiv.org/abs/2405.13398